|
In abstract algebra, a subset ''S'' of a field ''L'' is algebraically independent over a subfield ''K'' if the elements of ''S'' do not satisfy any non-trivial polynomial equation with coefficients in ''K''. In particular, a one element set is algebraically independent over ''K'' if and only if α is transcendental over ''K''. In general, all the elements of an algebraically independent set ''S'' over ''K'' are by necessity transcendental over ''K'', and over all of the field extensions over ''K'' generated by the remaining elements of ''S''. ==Example== The two real numbers and are each transcendental numbers: they are not the roots of any nontrivial polynomial whose coefficients are rational numbers. Thus, each of the two singleton sets and are algebraically independent over the field of rational numbers. However, the set is ''not'' algebraically independent over the rational numbers, because the nontrivial polynomial : is zero when and . 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「algebraic independence」の詳細全文を読む スポンサード リンク
|